Formal sciences - PDFSEARCH.IO - Document Search Engine

Formal sciences
Results: 2816

#	Item
341	MATHEMATICS AND LOGIC AS INFORMATION COMPRESSION BY MULTIPLE ALIGNMENT, UNIFICATION AND SEARCH J Gerard Wolff School of Informatics, University of Wales, Dean Street, Bangor, LL57 1UT, UK. Add to Reading List Source URL: www.cognitionresearch.org Language: English - Date: 2012-01-09 18:04:31 Knowledge Information theory Communication Cybernetics Information Age Unification Redundancy Pattern Entropy Formal sciences Science Mathematics
342	Microsoft PowerPoint - day 1 number 7 - Elena G.pptx Add to Reading List Source URL: edcon2014.ischool.syr.edu Language: English - Date: 2014-11-05 11:16:52 Information technology management Technology Business intelligence Data modeling Data architect Data mining Big data Oracle Database Data warehouse Data management Database management systems Formal sciences
343	Excellence. NO EXCUSES! Excerpt: TOMORROW HAS ARRIVED (WOW!) Add to Reading List Source URL: tompeters.com Language: English - Date: 2014-05-30 22:00:31 Robot Algorithm Knowledge Artificial intelligence Technology Emerging technologies Formal sciences Science
344	Boosted Optimization for Network Classification Timothy Hancock Bioinformatics Center Institute for Chemical Research Kyoto University, Japan Add to Reading List Source URL: jmlr.csail.mit.edu Language: English - Date: 2010-03-31 18:50:22 Graph theory Ensemble learning Formal sciences Statistical models Belief propagation Gradient boosting AdaBoost Pattern recognition Bayesian network Statistics Graphical models Machine learning
345	S&_logotype+D_black_le Add to Reading List Source URL: www.strategy-business.com Language: English - Date: 2014-09-29 05:50:07 Formal sciences Customer experience management Data analysis Data mining Analytics Business analytics Database marketing Business Business intelligence Marketing
346	This is a slightly edited version of a paper that appeared at the High Confidence Medical Device Software and Systems (HCMDSS) Workshop, June 2–3, 2005, Philadelphia, PA. Proofs as a Substrate for Tool Integration Supp Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2005-06-08 15:23:55 Science Formal sciences Compiler construction Mathematical logic Proof theory Isabelle Compiler Mathematical proof Model checking Logic Mathematics Programming language implementation
347	Information Engineering and Management (M.Sc.) Summer Term 2015 Long version SPO Department of Economics and Management Add to Reading List Source URL: www.wiwi.kit.edu Language: English - Date: 2015-03-05 09:10:33 Management Formal sciences Business Data mining Simulation Computer science Workflow Analytics Information systems Operations research Science Knowledge
348	CoCo Seminar Series Fall 2014 Concept Learning, Case-Based Reasoning, and the Future of Empirical Game Theory Add to Reading List Source URL: coco.binghamton.edu Language: English - Date: 2015-01-26 14:41:29 Formal sciences Scientific method Economic theories Experimental economics Game theory Theory Agent-based model Macroeconomic model Agent Science Knowledge Economics
349	EasyBib Premium Trial: Currently available at your library Source, Structure, Success! Source Using EasyBib Citation tool Add to Reading List Source URL: info.easybib.com Language: English - Date: 2014-09-05 16:12:31 Writing Evaluation Analytics Knowledge Business Education Formal sciences Educational psychology Notetaking
350	Verification and Validation of Agent Based Models in the Social Sciences Paul Ormerod and Bridget Rosewell, Volterra Consulting, London Abstract This paper considers some of the difficulties in es Add to Reading List Source URL: www.bridgetrosewell.com Language: English - Date: 2012-07-30 09:04:11 Ethology Pharmaceutical industry Validity Knowledge Agent-based model Computer simulation Economic model Simulation Verification and validation Science Scientific modeling Formal methods

UPDATE